lib_LIBRARIES=libdd.a
libdd_a_SOURCES= dd.cc dd_abstr.cc dd_basics.cc dd_cudd.cc dd_export.cc dd_info.cc dd_matrix.cc dd_term.cc dd_test.cc dd_vars.cc

INCLUDES=-I../../../../lib/cudd/include

LDADD=../../../../lib/cudd/cudd/libcudd.a \
../../../../lib/cudd/mtr/libmtr.a \
../../../../lib/cudd/epd/libepd.a \
../../../../lib/cudd/st/libst.a \
../../../../lib/cudd/util/libutil.a
